1984 ロジック・プログラミング国際シンポジウムに参加して